A Group Theoretic Formalization of Surface Contact
نویسندگان
چکیده
منابع مشابه
A Group Theoretical Formalization of Contact Motion
The work reported in this paper applies group theory to characterize local surface contact among solids, and makes such a formalization computationally tractable. This paper serves three purposes: (1) to report a new treatment of contacting surfaces as oriented sets and to verify the consistency of their corresponding symmetry groups in a group theoretical formalization framework; (2) to give a...
متن کاملThe Effect of Grammar vs. Vocabulary Pre-teaching on EFL Learners’ Reading Comprehension: A Schema-Theoretic View of Reading
This study was designed to investigate the effect of grammar and vocabulary pre-teaching, as two types of pre-reading activities, on the Iranian EFL learners’ reading comprehension from a schema–theoretic perspective. The sample consisted of 90 female students studying at pre-university centers of Isfahan. The subjects were randomly divided into three equal-in-number groups. They participated ...
متن کاملFormalization and Verification of Number Theoretic Algorithms Using the Mizar Proof Checker
In this paper, we introduce formalization of well-known number theoretic algorithms on the Mizar proof checking system. We formalized the Euclidean algorithm, the extended Euclidean algorithm and the algorithm computing the solution of the Chinese reminder theorem based on the source code of NZMATH which is a Python based number theory oriented calculation system. We prove the accuracy of our f...
متن کاملNovel Poly (glycerol-adipate) Polymers Used for Nanoparticle Making: A Study of Surface Free Energy
Nanoparticles made of biodegradable polymers has become the best approach for nanoparticle making due to their compatibility with the human body. New glycerol adipate polymers with hydroxyl group substituted with different percent of acyl group, sited as figures within the abbreviated name in the text, and triptophan were synthesized and proposed to be used in the preparction of dexamethason ph...
متن کاملNovel Poly (glycerol-adipate) Polymers Used for Nanoparticle Making: A Study of Surface Free Energy
Nanoparticles made of biodegradable polymers has become the best approach for nanoparticle making due to their compatibility with the human body. New glycerol adipate polymers with hydroxyl group substituted with different percent of acyl group, sited as figures within the abbreviated name in the text, and triptophan were synthesized and proposed to be used in the preparction of dexamethason ph...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- I. J. Robotics Res.
دوره 13 شماره
صفحات -
تاریخ انتشار 1994